Properties of right isosceles triangle - matwolf