Satz von der differenzierbarkeit der Umkehrfunktion
beinhaltet den ersten Teil der Aussage.
und  liefert für  f-1 = arccos  und f(x) = y= cos(x) die Aussage
arccos' ( y) = 1 / - sin(x)     und wegen sin(x) = wurzel( 1-cos^2(x) ) =  wurzel( 1-y^2 )
ist also arccos' ( y) = = 1 / - wurzel ( 1 -y^2 ) = -1 /  wurzel( 1-y^2 )    q.e.d.