theorem :: XPRIMES2:857

canceled;