>648
その証明は >>637 という事でしょうか?

637と、636です。