We are not sure whether MD5 has fixed point or not. But since the sample space is finite, it must have cycles:
$$ A →(MD5)→ B →(MD5)→ C →(MD5)→ D →(MD5)→ A $$
Has any research been done on MD5 to find cycles?
What caused I think about it is that if S is the sample space and R1 the range of MD5(once or taken in any number) them R1⊆S also R2⊆R1
MD5(one or multiple): S → R1
MD5(one or multiple): R1 → R2
...