theorem :: XPRIMES2:95

canceled;