theorem :: XPRIMES2:722

canceled;