theorem :: XPRIMES2:7768

canceled;