theorem :: XPRIMES2:1768

canceled;