theorem :: XPRIMES2:254

canceled;