Девушка — это теорема, которую хочется доказать; жена — аксиома, которую хочется опровергнуть.