nein, die zweite Zeile habe ich gelesen, und diese schränkt ja x,y auch nicht ein, sonder dient nur zur genaueren Definition von u,v.
Müsste x und y nicht irgendwie auf dieselbe Art wie u,v rekursiv definiert werden, um sicherzustellen, dass weitere auftretende 1-en aus x,y auch nur in der Form "1100" auftreten können?