theorem :: XPRIMES2:6425

canceled;