How is this panspermia hypothesis proved?