theorem :: XPRIMES2:8994

canceled;