Template:Math theorem/sandbox

