4.3.3　Approximation Induction Principle with Static Localities