reserve r for Real;

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