Identety to proof