[DNied]

At point #3, I think you meant "then a→c".

[brunoac]

Thank you :)