[kubanczyk]

> this is trivial to prove

Please don't forget to state the axioms before building the proof.

[monideas]

You can look up "prime mover aristotle" and "cogito descartes" if you're interested.