>>709
同値であることは自明ではないけどあとで十分性のチェックすればいいのでわ?