theorem :: XPRIMES1:65

canceled;