[JCSSubitzky_proof1.jpg]