It is typical to find a corollary that following theorems, but is it right to use the word corollary for a statement following a conjecture, where the statement is true only if the unproven conjecture is true?



Can a corollary follow a conjecture?
I think it's generally bad form to have a corollary dependent on an earlier conjecture. I recommend one of the following:


**Theorem**: Assuming Conjecture A, properties X, Y and Z are true.


or 


**Theorem**: Conjecture A implies X, Y and Z.


Most importantly, it should be crystal clear that the result is dependent on the conjecture.


