Theorem gradient_const

Modification history