2^1 * 2^(-1) = 2^(1-1) が何で成り立つか証明してくれ