theorem :: XPRIMES2:8991

canceled;