CircleMap

[.
r
,
(
r
+
1
)
.[
is
onetoone
;
hence
CircleMap

].
r
,
(
r
+
1
)
.[
is
onetoone
by
SIN_COS6:2
,
XXREAL_1:45
;
:: thesis:
verum