theorem :: XPRIMES2:701

canceled;