existence theorem of pure mathematician