For this forum, you have only one proof. Hint: you need to do a nested conditional proof, i.e., an assumption within an assumption.