A magnetically doped topological insulator exhibits quantized Hall conductance σ_xy = (e²/h)·C without an external field. The axion term θ=π encodes topological magnetoelectric coupling.