ligger till grund för detta faltigdomsbewis.