theorem :: XPRIMES2:9966

canceled;