Understanding “easy induction” used in lemma3 of FLP paper

Alright, I was recently reading FLP Impossibility paper. To give some context to readers, this paper is about proving that under…