Two isosceles right triangles are similar