theorem :: XPRIMES1:57

canceled;