>>629
>>618の例はIIとiiを満たしていますが、(3)の右側は成立しませんよ