reserve i,j,k for Nat,
  r,s,r1,r2,s1,s2,sb,tb for Real,
  x for set,
  GX for non empty TopSpace;
reserve GZ for non empty TopSpace;
reserve f for non constant standard special_circular_sequence,
  G for non empty-yielding Matrix of TOP-REAL 2;
reserve G for non empty-yielding X_equal-in-line Y_equal-in-column Matrix of
  TOP-REAL 2;

theorem Th34:
  for G being non empty-yielding Matrix of TOP-REAL 2 holds 1<=len
  G & 1<=width G
proof
  let G be non empty-yielding Matrix of TOP-REAL 2;
  ( not len G=0)& not width G=0 by MATRIX_0:def 10;
  hence thesis by NAT_1:14;
end;
