If the universal statement were merely definitionally equivalent to its base case and inductive step...