A statement that needs to be proven using logic and previously proven statements is a
Adefinition.
Bpostulate.
Ctheorem.
Dproof.
Adefinition.
Bpostulate.
Ctheorem.
Dproof.