How does consistency PA+¬Con(PA) implies consistency of PA?

Question

There is a question on stack overflow showing that if PA is consistent then PA+¬Con(PA) is also consistent. The thing is, that it should also work vice versa, that if PA+¬Con(PA) is consistent, then PA should also be consistent, but I cфnnot understand how that works or how it could be prooven.