theorem :: XPRIMES2:256

canceled;