Prove that, if R:A->A->Prop is well founded, then there is no infinite sequence such that (R xi+1 xi) for each i.