コルモゴロフの公理から P(A^c) = 1 - P(A) を証明。各公理の使用を特定。