theorem :: XPRIMES2:2968

canceled;