theorem

сущ.

положение, истинность которого устанавливается путем доказательств.