theorem :: COUNTERS:42

for D being non empty set
for p being non empty trivial Sequence of D ex x being Element of D st p = <%x%>