theorem :: XPRIMES2:768

canceled;