てか、>>7で 厳密に成り立つ とありますが
>>18によるとそんなことは分からないそうです

どちらが正しいんですかね？