It's a strengthened version of the following (usually derived) rule of inference, known as "absorption" in some texts.

A -> B |- A -> (A ^ B)

Clearly, strengthening the conclusion provides nothing new, since A ^ B |- A.

(E.g., in an NDS this is just the primitive rule, caret elimination.)