Inductive principle for eq and le