theorem :: XPRIMES2:9965

canceled;