Theorem exists_const

Modification history