fixed proof reference #270

Closed coverdrive closed 2 years ago