theorem :: XPRIMES1:72

canceled;