theorem :: XPRIMES2:5701

canceled;