>>546
証明の本体が把握しきてれないから要約できないのでは?