Proof non-root.md