theorem :: XPRIMES2:98

canceled;