terminology.

after reading this wiki, i still can't tell when to say that a given fact is a proposition or a theorem.

oh well.

as long as the proof is correct,
a rose by any other name .. (: