cubical proof that join is associative