theorem :: XPRIMES2:2963

canceled;