(Sorry if is in the wrong topic - I didn't see one for proofs)

I am still trying to get the hang of my proofs class, and I was wondering if I did this problem correctly. The statements above the line are what is given, and below the line are my arguments & reasons that I came up with.

Directions: Derive R

(1) P ^ Q

(2) (P v Q) -> R

-----------------------------

(3) P ..........(1) Simplification

(4) Q ..........(1) Simplification

(5) P v Q .....(3),(4) Addition

(6) R ...........(2),(5) Definition of implication

If I did something wrong, could you please explain what to do? Thanks in advance!