Borel-Cantelli Lemmata to Kochen-Stone Theorem