Template:Math theorem

