proving (2個結果)