General Double Induction Principle