/ ~(Pa ·~Pa) = ~(Qa·~Qa)

Logic: How to solve this proof using Conditional Proof or Indirect Proof. This is the conclusion given.