quod erat demonstrandum. Это на латыни, и это значит: что и требовалось доказать. То есть: это утверждение, которое доказано.
