for A, B being non degenerated Ring
for x being Element of B st A is Subring of B holds
Ext_eval ((1_. A),x) = 1. B