Tingimus on tõene