Problem 505:
Given a point $H_{a}$, a point $H_{b}$ and a point $H_{c}$, construct the triangle ABC.

Construction: 
1. Using the point $H_{a}$ and the point $H_{b}$, construct a line $H_{a}H_{b}$ (rule W02);
2. Using the point $H_{a}$ and the point $H_{c}$, construct a line $H_{c}H_{a}$ (rule W02);
3. Using the point $H_{a}$ and the point $H_{b}$, construct a line $m(H_{a}H_{b})$ (rule W14);
4. Using the point $H_{b}$ and the point $H_{c}$, construct a line $m(H_{b}H_{c})$ (rule W14);
5. Using the line $H_{c}H_{a}$, the point $H_{b}$, the point $H_{a}$, the point $H_{c}$ and the line $H_{a}H_{b}$, construct a line $h_{a}$ (rule W17);
6. Using the point $H_{a}$ and the line $h_{a}$, construct a line $a$ (rule W10a);
7. Using the line $a$ and the line $m(H_{b}H_{c})$, construct a point $M_{a}$ (rule W03);
8. Using the point $H_{b}$ and the point $M_{a}$, construct a circle $k(M_{a},B)$ (rule W06);
9. Using the circle $k(M_{a},B)$ and the line $a$, construct a point $B$ and a point $C$ (rule W04);
10. Using the point $H_{c}$ and the point $B$, construct a line $c$ (rule W02);
11. Using the line $m(H_{a}H_{b})$ and the line $c$, construct a point $M_{c}$ (rule W03);
12. Using the point $M_{c}$ and the point $B$, construct a point $A$ (rule W01);
13. Using the point $B$ and the point $C$ construct the line $\_a$ (rule W02);
14. Using the point $A$ and the line $\_a$ construct the line $\_h_{a}$ (rule W10b);
15. Using the line $\_a$ and the line $\_h_{a}$ construct the point $\_H_{a}$ (rule W03);
16. Using the point $A$ and the point $C$ construct the line $\_b$ (rule W02);
17. Using the point $B$ and the line $\_b$ construct the line $\_h_{b}$ (rule W10b);
18. Using the line $\_b$ and the line $\_h_{b}$ construct the point $\_H_{b}$ (rule W03);
19. Using the point $A$ and the point $B$ construct the line $\_c$ (rule W02);
20. Using the point $C$ and the line $\_c$ construct the line $\_h_{c}$ (rule W10b);
21. Using the line $\_c$ and the line $\_h_{c}$ construct the point $\_H_{c}$ (rule W03);

Statement:
Prove that the point $H_{b}$ is identical to the point $\_H_{b}$.

