>>414-417
>>380-383は、証明後の<ステップ6>であり、現時点では、論点ずらしと判断し、無視します(^^
<ステップ5>が決着してからやりましょう(^^