$ZKP nepřemožitelný