結論は理解できるで。
証明が理解できないが。