theorem :: XPRIMES2:2768

canceled;