Proved * is associative