Ontological Side of Cartesian Proof