theorem :: XPRIMES2:6424

canceled;