Attachment: proof