两个面内两条线分别垂直于它们的交线那么这两个面垂直 这可以算作证明的一个定理吗