theorem :: XPRIMES2:2995

canceled;