Định lí là A. Một khẳng định được suy ra từ những khẳng định đúng đã biết;

Một khẳng định được suy ra từ những khẳng định đúng đã biết;

Một khẳng định được suy ra từ những khẳng định đúng chưa biết;

Một khẳng định được suy ra từ những khẳng định đã biết;

Một khẳng định được suy ra từ những khẳng định chưa biết.