Added proof of KGiK