Quantos troféus da FA tem um jogador de Mario Walsh e uma liga maior que 17?
CREATE TABLE table_name_52 (fa_trophy INTEGER, player VARCHAR, league VARCHAR)
SELECT AVG(fa_trophy) FROM table_name_52 WHERE player = "mario walsh" AND league > 17