выводить доказательство

• Exactly this kind of proof was developed by the ancient Greeks.