theorem :: XPRIMES2:6398

canceled;