Theorem and related declarations
Author: Carsten Schuermann