Đị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.