يثبت وجود Prop AMMs صحة هذا البيان