theorem :: XPRIMES2:734

canceled;