马梅特的推论