Definition:Rule of Derivation