theorem :: XPRIMES2:2725

canceled;