Question 1089724
.
sec80>1
how do I {{{highlight(cross(proof))}}}  prove it?
~~~~~~~~~~~~~~~~


Do you know what sec is ?