theorems -> hypothesis / proofed-theorem -> theorem