Man resonnerar som så: