:: deftheorem defines i_FC HAHNBAN1:def 2 :
i_FC = <i> ;