theorem :: XPRIMES1:687

canceled;