Полный русско-английский словарь
Мат. abridged proof, outline of proof, proof in outline, sketch of proof