Pokud se má to pole předávat jako parametr procedury, tak to z důvodu typové kompatibility jinak nejde.
BTW to zadání je nedostatečné, bez upřesnění co ta procedura má dělat to asi nepůjde - má se snad to maximum a druhé maximum z toho pole vyjmout? Jinak si totiž nedovedu představit jak je myšleno to "ze zbývajících čísel". Navíc - má se nějak řešit duplicita stejných hodnot? Co když maximální hodnota bude obsažena víckrát? A nejvíc mě tam mate ta "množina" čísel.