theorem :: XPRIMES2:693

canceled;