theorem Th9: :: COUNTERS:41

for p being non empty trivial Sequence ex x being object st p = <%x%>