theorem :: XPRIMES2:6393

canceled;