mathematical proof of several existence, structure and regularity properties empirically