A Note on the Nakamura's Existence Theorem of Cores with Applications to Social Choice Theory--Another Proofs of Gibbard-Satterthwaite's Theorem and Arrow's Theorem