Problem 100:
Given a point $A$, a point $T_{a}$ and a point $T_{b}$, construct the triangle ABC.

Construction: 
1. Using the point $A$ and the point $T_{b}$, construct a line $b$ (rule W02);
2. Using the point $T_{a}$ and the line $b$, construct a circle $k(T_{a},foot[T_{a},c])$ (rule W11);
3. Using the circle $k(T_{a},foot[T_{a},c])$, the point $A$, the point $T_{a}$ and the line $b$, construct a line $c$ (rule W13);
4. Using the point $T_{b}$ and the line $c$, construct a circle $k(T_{b},foot[T_{b},c])$ (rule W11);
5. Using the circle $k(T_{b},foot[T_{b},c])$, the point $T_{a}$ and the point $T_{b}$, construct a line $a1$ and a line $a$ (rule W12);
6. Using the line $a$ and the line $b$, construct a point $C$ (rule W03);
7. Using the line $c$ and the line $a$, construct a point $B$ (rule W03);
8. Using the point $A$ and the point $C$ construct the line $\_b$ (rule W02);
9. Using the point $A$ and the point $B$ construct the line $\_c$ (rule W02);
10. Using the point $B$, the point $A$ and the point $C$ and the line $\_c$ and the line $\_b$ construct the angle bisector $\_s_{a}$ (rule W17);
11. Using the point $B$ and the point $C$ construct the line $\_a$ (rule W02);
12. Using the line $\_s_{a}$ and the line $\_a$ construct the point $\_T_{a}$ (rule W03);
13. Using the point $C$, the point $B$ and the point $A$ and the line $\_a$ and the line $\_c$ construct the angle bisector $\_s_{b}$ (rule W17);
14. Using the line $\_s_{b}$ and the line $\_b$ construct the point $\_T_{b}$ (rule W03);

Statement:
Prove that the point $T_{a}$ is identical to the point $\_T_{a}$.

