Thus T1P′Q is also isosceles and a circle can be constructed with center T1 and radius T1P′=T1Q.
Но тогда T1P′Q также будет равнобедренным, и можно построить окружность с центром в T1 и радиусом T1P′=T1Q.