The Bounded Real Lemma