Circle theorem right angle proof with isoscleles triangles