Logarithmic Proof (1)