for D being non empty set
for p being FinSequence of D st len p = 3 holds
<*p*> @ = F2M p