---
Created: 2023-11-04T14:43:00
---
Proof invert matrix is unique