theorem :: XPRIMES2:9942

canceled;