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