The proof:)