# Well founded relations and infinite sequences

Prove that, if *R:A->A->Prop* is well founded, then there is no
infinite sequence *x* such that *(R x*_{i+1} x_{i})
for each *i*.

## Solution

Follow this link

Look also at that exercise

Going home

Pierre Castéran