- small correction about proof for relay channel