Aha. With 16 or more participants, it is always possible to divide into groups of four and five in such a way that there is at least one group of four