proof-step: between insertion single proof