Element 'inverse proving method'