theorem :: XPRIMES2:9947

canceled;