Mocht bovenstaande wat te abstract voor je worden:
Je zoekt een
![](http://latex.codecogs.com/png.latex?A \in \mathbb{F}^{n \times n})
zodanig dat voor alle
![](http://latex.codecogs.com/png.latex?B \in \mathbb{F}^{n \times n})
geldt:
Dan moet dit ook gelden voor alle matrices
![](http://latex.codecogs.com/png.latex?B_k)
(k=1 t/m n), elk gedefinieerd door:
Wat volgt dan uit
![](http://latex.codecogs.com/png.latex?AB_k = B_kA)
voor alle elementen van A die niet op de hoofddiagonaal liggen?
(kijk zo nodig eens naar een concreet voorbeeld: n=3 en k=1: wat is dan AB, wat is BA en wat geldt als beide gelijk moeten zijn ?)
Welke algemene vorm moet A dus hebben ?
Vermenigvuldig deze vorm vervolgens met matrix B, gedefinieerd door:
Wat leid je tenslotte af uit AB=BA ?
Kan je nu het bewijs van
SafeX voltooien?