theorem :: XPRIMES2:1305

canceled;