yan3 yi4 fa3

演繹法