I need 2 proofs for SCC

1 proof for HDS and EBV