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