theorem :: XPRIMES2:103

canceled;