theorem :: XPRIMES2:4768

canceled;