theorem Th10: :: POLNOT_2:6

for S, T being Polish-language
for p being FinSequence st S -head p in T holds
( p is T -headed & S -head p = T -head p )