在证明题中, 两条互相垂直的直线解析式k值乘积为-1 可以当定理用吗?