We have a contradiction, and we have thus shown that our assumption that M exists is incorrect.
يوجد لدينا هنا تناقض، وبالتالي فقد عرضنا أن افتراضنا بأن ل موجودة غير صحيح.