What is the average FA Cup that has gary jones as the player, and an FA trophy greater than 5?
CREATE TABLE "topscorers_in_order_of_league_goals" (
  "player" text,
  "club" text,
  "league" real,
  "fa_cup" real,
  "fa_trophy" real,
  "league_cup" real,
  "total" real
);
SELECT AVG("fa_cup") FROM "topscorers_in_order_of_league_goals" WHERE "player"='gary jones' AND "fa_trophy">5;