Kellisyn-updated proof

Filed under: