は例えば以下の定理を証明した: