theorem :: XPRIMES2:5725

canceled;