Along the lines of your own argument: even better would be
reason0-definition-reason1-theorem-reason2-proof