theorem :: XPRIMES2:2994

canceled;