theorem Th27: :: METRIC_1:27

for x, y being Element of 2 holds Set_to_zero . (x,y) = 0 by ZFMISC_1:87, FUNCOP_1:7;