theorem :: XPRIMES2:3968

canceled;