New Foundations is consistent

6 Wrapping up the main induction