theorem :: XPRIMES1:68

canceled;