theorem :: XPRIMES2:3738

canceled;