Actually, according to my Task Manager, DivX is using anywhere between 2-3 times more memory than WMP.
On a side note, when I play DivX encoded files in WMP, I get a DivX logo in the bottom right corner, which I don't get when playing in DivX (version 6).