>>96
単純にある条件の下で左から右と右から左が示せれば同値