quod erat faciendum

(латинское) что и требовалось сделать