Un conjunto de $5$ enteros positivos distintos se llama ""virtual"" si el máximo común divisor de cualesquiera tres de sus elementos es mayor que $1$, pero el máximo común divisor de cuatro de ellos es igual a $1$. Demostrar que, en cualquier conjunto virtual, el producto de sus elementos tiene al menos $2020$ divisores positivos distintos.