commenting flawed proof steps; trying anew