obestridliga matematiska regeln , att när Aär = B , och B är = C , är också A = C,