Theorems which are statements about the program inferred from the axioms.

中文解释

定理（theorems）由公理推论得到的关于程序的陈述。