bug 330776: syntax error in theorem
4 files changed