theorem Th34: :: GOBRD11:34

for G being empty-yielding Matrix of (TOP-REAL 2) holds
( 1 <= len G & 1 <= width G )