a simple mutual induction