A mathematican can prove a theorem