>>498
調べたが、その定理は>>498に書いてある内容とは違った