Der Beweis liegt vor. Wird bald publiziert. Er wurde gestern innerhalb von einer Stunde erstellt, kann daher nicht vollkommen sein: es fehlen z.B. bestimmte Definitionen. Diese habe ich aber in den vorigen Beiträgen gepostet, ich gehe deshalb davon aus, dass sie bekannt sind. Die formalen Schwächen werde ich in aller Ruhe ausbügeln: der Beweis an sich ist aber inhaltlich nicht zu widerlegen.
Maciej Zasada
PS (an Yukterez) die wichtigste Info wird nicht preisgegeben.