Euclidean proposition (7)
I believe the answer is:
theorem
(Other definitions for theorem that I've seen before include "Mathematical rule" , "Formula to be proved" , "Hero met (anag) - principle that's proven" , "Proven proposition" , "Proved mathematical hypothesis" .)