Theo Conjecture solves 35-year-old math problem, finds a ...