>>588
Vivantiの定理