feat(basics): add "proof by case analysis" section