예를들어 log로 생각하면 log_c a + log_c b = log_c ab 부터 여러가지 증명 못 해도 괜찮나요?

그런것들을 자주 쓰니까 증명이 생각 안 나서...