theorem scheme

Мат. теоремная схема