Элемент 'inverse proving method'