Dokazivanje nedopustivosti ovrhe