結構重要な定理の特殊な場合なんだけど、やっぱここじゃ瞬殺か…