Divx e avi são sinônimos?

Alair.com disse:

Um aparelho de DVD player que suporta o formato avi automaticamente também suportará o formato divx?
eu sei que é só olhar o manual do aparelho pra ver se ele suporta o formato,mas o aparelho não é meu e não tem como eu conferir isso,a única certeza que tenho é que esse aparelho suporta avi.