:: deftheorem defines logbase ASYMPT_0:def 1 :
for c being Real holds
( c is logbase iff ( c > 0 & c <> 1 ) );