Cho hình tứ diện ABCD. Từ hệ thức trên hãy suy ra định lí: “Nếu một hình tứ diện có hai cặp cạnh đối diện vuông góc với nhau thì cặp cạnh đối diện thứ ba cũng vuông góc với nhau.”