Mathematics is solved.