I'm reading an article on modal logic which says that K* can be derived from K' and RM. (Note that ⊃ is the material conditional symbol and ≡ stands for material equivalence.)
[K'] □(p ⊃ q)⊃(□p ⊃ □q)
[RM] ⊢p ⊃ q => ⊢□p ⊃ □q
[K*](□p ∧ □q) ≡ □(p ∧ q)
Can someone please help me understand why this is the case?
Many thanks in advance.