theorem:smn