rough proof
rough proof