Mathematical proof debunks the idea that the universe is a computer simulation