theorem :: XPRIMES2:3725

canceled;