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