theorem Th1: :: GOBRD12:1

for f being non constant standard special_circular_sequence
for i, j being Nat st i <= len (GoB f) & j <= width (GoB f) holds
Int (cell ((GoB f),i,j)) c= (L~ f) ` by GOBOARD7:12, SUBSET_1:23;