Vi kunna tillägga , att , om hrCarnot