Все теоремы - с доказательствами и надлежащим оформлением!