theorem :: XPRIMES2:738

canceled;