A pencil box contains many pencils. Each pencil has a colour and a length. It is known that the box has pencils of at least two different colours and at least two different lengths (there may be several pencils of the same colour, and several of the same length). Is it possible to find two pencils of different lengths and different colours?