Template:Extract theorem