Nein! "Korollare" gibt's auch im Deutschen, und bezeichnet so etwas wie Folgerungen aus mathematischen (auch: naturwissenschaftlichen) Gesetzen.
Leo kennt das bereits!

LEO

Ein Korollar ist zwar in erster Linie in der Mathematik gebräuchlich, aber so, wie ich den Beispielsatz verstehe, ist das hier ähnlich gemeint.
Diese Bedeutung steht bereits in LEO, daher ist kein neuer Eintrag nötig.

Bitte in diesem Forum nur gesicherte Übersetzungsvorschläge machen, keine vermuteten. Der Beitrag wäre unter "Übersetzungsvorschlag korrekt" besser aufgehoben, wahlweise auch unter "German missing".

Internet Dictionaries

Korollar ist in den meisten Faellen sicher keine brauchbare Uebersetzung. Corollary ist im Englischen Bestandteil der wissenschaftlichen Umgangssprache, waehrend das deutsche Korollar auf mathematische Texte beschraenkt ist. Die Bedeutung von "corollary" ist oft recht vage, aber in vielen Faellen scheint "Implikation" die universellste Uebersetzung. Manchmal sind "Folgeerscheinung", "Folgerung", "Konsequenz", "Ableitung" etc. noch treffender.

corollary - corollaries
1. Something that directly follows from another thing that has been proved.
Thesaurus: inference, deduction, conclusion, derivation, implication, analogy, judgement.
2. A natural or obvious consequence.
Thesaurus: consequence, upshot, derivative, development, result, by-product, culmination.
Etymology: 14c: from Latin corollarium gift of money, originally for a garland, from corolla.

corollary
[n] (logic) an inference that follows directly from the proof of another proposition
[n] a practical consequence that follows naturally; "blind jealousy is a frequent corollary of passionate love"
(http://www.bartleby.com/61/28/C0652800.html)

Implikation
Eine Implikation (v. lat.: implicare verwickeln) bezeichnet
logisch die Verknüpfung von Aussage a mit Aussage b, sodass die verknüpfte Aussage genau dann falsch ist, wenn a wahr und b falsch ist (Aus Wahrem kann nichts Falsches folgen). (http://www.net-lexikon.de/Implikation.html)

Nochmal Einspruch! Eine Implikation ist sehr viel allgemeiner zu verstehen und bedeutet einfach "a => b". (equivalent zu "Nicht(a) oder b")
Ein "corollary" bedeutet zusätzlich, dass der Schritt außerdem sehr, sehr einfach ist. (das ursprüngliche lateinische Wort bedeutet soviel wie "Geschenk" oder "Trinkgeld")
Wem "Korollar" zu mathematisch ist, dem bietet der leo doch eine handvoll "unmathematischer" Übersetzungsmöglichkeiten, wie "logische Folge" oder "logische Konsequenz". Was ist daran auszusetzen?

Ich kann mich da Alexander nur anschließen.

Eine Implikation ist zu sehr an die Logik geknöpft.

Korollare sind eher nebenbei als Bonbon abfallende Erkenntinnse oder Kosequenzen eines betrachteten Sachverhaltes.

Zugegeben: meist auf naturwissenschaftliche Disziplinen beschränkt und in der dortigen Fachsprache zu finden.