Added non-/relative relationship theorem