theorem :: XPRIMES2:6251

canceled;