theorem :: BKMODEL1:18

for b being Real
for S, T being Element of REAL 2 st |.S.| ^2 <= 1 holds
0 <= delta ((Sum (sqr (T - S))),b,((Sum (sqr S)) - 1))