theorem :: XPRIMES1:2725

canceled;