AF DF AD

ÂË=ÂB = BË = ''"'*'^^''

J'ajoute que l'angle FAE est égal à l'angle constant CBE. Car l'angle DAE, à cause du parallélisme deBCet de AD vaut la somme des angles AEB, CBE. Or il se compose de deux parties dont l'une DAF est égale à AEB; donc la seconde partie FAE est bien égale

à CBE.

Le théorème est donc démontré.