theorem :: XPRIMES2:6328

canceled;