then transfinite induction tells us that p is true for all ordinals afurika y iburasirazuba ninziza imiryango itari iya leta kuri buri karere