משוואה מטיפוס הומוגני, משוואות מדויקות, משפחות אורתוגונליות ומשפט קיום ויחידות