log ((a + b),a) = 1 / (log (a,(a + b))) by ABA;
hence log ((a + b),a) is light ; :: thesis: verum