Låtom oss dock antaga ,att