Định lý là
A. một khẳng định được suy ra từ những khẳng định đúng đã biết;
B. một khẳng định được suy ra từ những khẳng định không đúng đã biết;
C. một tính chất được suy ra từ những khẳng định đúng;
D. một tính chất được suy ra từ những khẳng định chưa biết.