theorem :: XPRIMES2:6605

canceled;