From the Schauder fixed-point theorem to the applied multivalued Nielsen theory