これは、formula_14が不健全な演繹であると示すことを目的としている。