>>805
積が定義されていれば累乗が定義される
積が定義されなければ累乗が定義されない

この2つは裏なので真偽は一般には一致しない