theorem :: HILB10_7:15

for x, y being object holds Ext ({},x,y) = {}