Sens inductive Prox