ダウンロード

= R\{0} {( cos(t) sin(t) −sin(t) cos(t) ) | t ∈ R }