Use natural deduction to prove (((a a) a) a) a.(please write the format like below)

16:45 2 12 owl.uwo.ca 31/42 LOVE THAT EX: PROVE THAT Pv (QAR) +(PvQ) 1 (PvR) [P]. [P) [qur 7 COURSE PuQ PR - Pie PUR Bucano) (Pug). (PUR) Poq)n (PUR) VE [1,2] (PQ)^(PUR) PvQiR) - PuQ) 1 (PvR) -AI I [o] WE SEE THAT WE CAN IMMEDIATELY DISCHARGE IT WITH AN ADDITIONAL APPH CATION OF I 16:45 2 12 owl.uwo.ca 31/42 LOVE THAT EX: PROVE THAT Pv (QAR) +(PvQ) 1 (PvR) [P]. [P) [qur 7 COURSE PuQ PR - Pie PUR Bucano) (Pug). (PUR) Poq)n (PUR) VE [1,2] (PQ)^(PUR) PvQiR) - PuQ) 1 (PvR) -AI I [o] WE SEE THAT WE CAN IMMEDIATELY DISCHARGE IT WITH AN ADDITIONAL APPH CATION OF