少しずつ条件を緩めて、良さげな定理が出そうなところに設定したんじゃないの。