İspatı buradaki linkte mevcut olan şu teoremi hatırlayalım.
Teorem: Bir fonksiyonun sağ tersinin olması için gerek ve yeter koşul o fonksiyonun örten olmasıdır.
Bu teoreme dayanarak şunu söyleyebiliriz. f(x)=sinx kuralı ile verilen f:R→[−1,1] fonksiyonu örten olduğundan f fonksiyonunun sağ tersi vardır.
g(x)=arcsinx kuralı ile verilen g:[−1,1]→R fonksiyonunu ele alalım.
Df∘g=DI[−1,1] ve
Tf∘g=TI[−1,1] (yani f∘g fonksiyonu ile I[−1,1] fonksiyonunun tanım ve hedef kümeleri aynı) olduğundan
f∘g=I[−1,1]
önermesi doğru ise g fonksiyonu f fonksiyonunun bir sağ tersi olur. Bunun için
x∈[−1,1]⇒(f∘g)(x)=I[−1,1](x) olduğunu göstermemiz gerekir.
x∈[−1,1]⇒(f∘g)(x)=f(g(x))=sin(arcsinx)?=x=I[−1,1](x) olduğundan
f∘g=I[−1,1] olur. O halde g fonksiyonu f fonksiyonunun bir sağ tersidir.
Tüm bu yukarıda yapılanları göz önünde bulundurduğumuzda her n∈N için gn(x)=(2n+1)π−arcsinx kuralı ile verilen gn:[−1,1]→R fonksiyonu f fonksiyonunun bir sağ tersi olacaktır. Sonuç olarak f fonksiyonunun değil 5 tane sonsuz çoklukta sağ tersini bulmuş oluruz.