theorem :: XPRIMES2:710

canceled;