It is necessary to be given the prop that all elementary props are given.” This is not necessary because it is even impossible . There is no such prop! That all elementary props are given is SHOWN by there being none having an elementary sense which is not given.