結果 : optional sampling theorem proof