theorem :: XPRIMES2:96

canceled;