* proof of existence and necessity of existence left as an exercise to the reader.