阅读下列材料：一般地，n个相同的因数a相乘a•a…，记为aⁿ．如2×2×2=2³=8，此时，3叫做以2为底8的对数，记为log₂8（即log₂8=3）．
一般地，若aⁿ=b（a＞0且a≠1，b＞0），则n叫做以a为底b的对数，记为log_ab（即log_ab=n）．如3⁴=81，则4叫做以3为底81的对数，记为log₃81（即log₃81=4）．
（1）计算以下各对数的值：log₂4=

2

2

，log₂16=

4

4

，log₂64=

6

6

．
（2）写出（1）log₂4、log₂16、log₂64之间满足的关系式

log₂4+log₂16=log₂64

log₂4+log₂16=log₂64

．
（3）由（2）的结果，请你能归纳出一个一般性的结论：log_aM+log_aN=

log_a（MN）

log_a（MN）

（a＞0且a≠1，M＞0，N＞0）．
（4）设aⁿ=N，a^m=M，请根据幂的运算法则以及对数的定义说明上述结论的正确性．