:: deftheorem defines sec FDIFF_9:def 1 :
sec = cos ^ ;