Endpoints segment (0, 10) and (0, 20). is it a vertical segment?

In the diagram, the ratios of two pairs of corresponding sides are equal to prove that almn - axyz by the sas similarity theorem, it also needs to be shown that x 6 z un z zz un = 2x zləzz lezy