Dôkaz druhej časti dôsledku