theorem :: XPRIMES2:6261

canceled;