Let with (Householder reflection). Verify that is orthogonal and symmetric