theorem :: XPRIMES2:6291

canceled;