Proved *-comm