------------
Derived rule
------------

Proving a derived rule.
