Så , antaga vi , har hrvon