no wrl for theorem-math

[] theorem-math