Als direkte Folgerung aus dem Satz von Leibniz erhält man das ''Korollar'' A, B, C und D.
''[[Mathematik]]:'' Sammlung von Feststellungen oder Folgerungen, die sich aus einem [[Satz]] oder einer [[Definition]] ohne großen Aufwand ergeben