theorem Th49: :: SPRECT_3:49

for i, j being Nat
for f being constant standard special_circular_sequence st 1 <= i & i <= len (GoB f) & 1 <= j & j <= width (GoB f) holds
<*((GoB f) * (i,j))*> is_in_the_area_of f