結果 : state and prove basic probability theorem