Janitor solves math problem that took 2 years to solve in one day.