"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.