Finished first condition of proof-step