prove ordaliche