:: deftheorem defines Liouville_constant LIOUVIL1:def 10 :
Liouville_constant = Liouville_constant ((seq_const 1),10);