[math-fun] Consequential zero entries in an orthogonal matrix