Comment by antonvs

A sequence of logical implications that each follow from previous ones is exactly what a proof is. Did I really need to spell that out?