Mathematician, CS/AI/ToC
Company:The proof is left as an exercise for the reader.Location:🌟 Alpha Centauri
