Through the height of an equilateral tetrahedron a, we construct a plane that intersects the lateral faces along three lines creating with the base plane of the tetrahedron with angles x, y, z. Prove: tan²x + tan²y + tan²z = 12