Развернутый доказ.