-----------------
Version 2 changes:
-----------------

-- Simplified proof; also added reference to [Lev83]