feat(basics): add "proof by substitution" section