If not, is there a counterexample?
Using this malloc algorithm visualizer: https://github.com/dmednis/malloc-algorithm-visualizer you can come up with similar counterexamples to this one: https://i.sstatic.net/lL6eS.png