theorem :: XPRIMES2:6413

canceled;