```
1.  p                                 Assumption
2.  ~p => ~q                          Assumption
3.  p                                 Reiteration: 1
4. (~p => ~q) => p                    Implication Introduction: 2, 3
5.  ~p => q                           Assumption
6. (~p => ~q) => p                    Reiteration: 4
7. (~p => q) => (~p => ~q) => p       Implication Introduction: 5, 6

```

It does not work in this way. So, I suppose p is not the right assumption...

Could you please help me to define the initial assumption to proceed?