theorem :: XPRIMES2:847

canceled;