theorem :: XPRIMES2:6913

canceled;