“The necessary existent is that whose non-existence is impossible.”