como você prova que um produtor de blocos usa FIFO? (você não pode)