A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts