> Facensearo, формат заметок в блоги не предполагает, что я должен полноценно формулировать и доказывать теоремы :(

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