То, что сверху ничего нет это тоже "доказано"?
разумеется. доказательство от противного: если б сверху что-то было, то мы бы в это давно уже врезались.
но это я шучу, а если серьезно - мы живем в неразрушимой сфере дайсона, и поэтому неважно, во что мы врезаемся.