appears_free_in を追加した。関連する補題を追加した。