Fie ABC un triunghi dreptunghic isoscel, cu AB ≡ BC. Considerăm punctele E € AC, F € AB, DE € (BC, astfel incat BC ≡ AE, AF ≡ CE si AC ≡ BD. Aratati ca punctele D, E, F sunt coliniare.​