既知の結果をわざわざ証明した部分はどこまで?