:: deftheorem defines arcsin SIN_COS6:def 2 :
for r being object holds arcsin r = arcsin . r;