[0, 1) ∋ t → (sin(2*π*t), cos(2*π*t)) ∈ {(x, y) | x^2 + y^2 = 1}