theorem :: XPRIMES2:5722

canceled;