Its not proving a negative, its proving an existential query, there exists terror attacks that were stopped by PRISM. If the data was useful, then they could certainly point to the in-progress attacks that were thwarted - stopping an attack does not erase all information about its existence.