theorem :: XPRIMES2:6281

canceled;