theorem :: XPRIMES2:712

canceled;