6.4.3　Approximation Induction Principle of Hybrid APTC with Localities