diofántico