Antiderivation Rule for the Interior Product