Аксиома.

[slender_hope]

Вот только будет ли каждый счастлив - даже не теорема, ибо "что и требовалось доказать" отнюдь не имеет столько значения, сколь принципиальны мелочи данного паззла, в целом составляющего жизнь.