Beh, suppongo astergaster facesse riferimento al seno classico, quello con periodo 2 pi greco e pensando il parametro in radianti. 

Detto così, è abbastanza facile dimostrare l'iniettività della restrizione del seno ad N, assumendo per buona l'irrazionalità di pi greco (che invece è molto meno ovvia da dimostrare). In fondo è un problema di precorso: quando è che [tex:2x08fjlc]\sin\alpha=\sin\beta[/tex:2x08fjlc] ?