Det antages , attCarnot