Teorema related domains (5)