WHO SOLVED MY THEOREM