Template:Math theorem/testcases