theorem :: XPRIMES2:6768

canceled;