$\dim(W) + \dim(W^\perp) = \dim(V)$

$\dim(W) = \dim(W^\perp)$

$\dim(W) \cdot \dim(W^\perp) = 0$

$\dim(W) + \dim(W^\perp) = 1$