theorem :: XPRIMES2:2857

canceled;