for B being Ring
for A being non degenerated Ring
for a being Element of A st A is Subring of B holds
In (a,B) is_integral_over A