"corollary" - key terms from Wikipedia