Hi, while reading through literature i noticed that it has not yet
  been proved that computing the value vector of simple stochastic games is a
  Problem in FNP. This is why i came up with a prove in this seminar work of
  mine