Det första vilkoret blir således ,att