for p being set holds p .. <*p*> = 1