>>618
「その命題」って何のこと?