theorematic

Излагаемый в виде теоремы