log_10 5 = log_10 2 / log_10 10と変形するのって、どうやったら思いつくんですか?