>>679
> それは確かに定理だが

ほぼ自明

> その定理を導くのが>>673の問題の意図だろ

んなこたない