theorem :: XPRIMES1:722

canceled;