theorem Th14: :: MATRIX14:14

for K being Field holds
( 1. (K,0) = 0. (K,0) & 1. (K,0) = {} )