Two Sum II - LeetCode 167 - Python (with proofs thinking)