4.211

It is a sign of an elementary proposition, that no elementary proposition can contradict it.