"証明終わり" meaning in Japanese

{
  "forms": [
    {
      "form": "証明終わり",
      "ruby": [
        [
          "証",
          "しょう"
        ],
        [
          "明",
          "めい"
        ],
        [
          "終",
          "お"
        ]
      ],
      "tags": [
        "canonical"
      ]
    },
    {
      "form": "shōmei owari",
      "tags": [
        "romanization"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "phrase",
        "2": "しょうめい おわり",
        "head": "証明終わり"
      },
      "expansion": "証(しょう)明(めい)終(お)わり • (shōmei owari)",
      "name": "ja-pos"
    }
  ],
  "lang": "Japanese",
  "lang_code": "ja",
  "pos": "phrase",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Japanese entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Japanese links with redundant wikilinks",
          "parents": [
            "Links with redundant wikilinks",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Japanese terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Japanese terms with redundant sortkeys",
          "parents": [
            "Terms with redundant sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "ja",
          "name": "Mathematics",
          "orig": "ja:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "quod erat demonstrandum (that which was to be proved)"
      ],
      "id": "en-証明終わり-ja-phrase-x9t3lWeC",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "quod erat demonstrandum",
          "quod erat demonstrandum"
        ]
      ],
      "raw_glosses": [
        "(mathematics) quod erat demonstrandum (that which was to be proved)"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "証明終わり"
}

{
  "forms": [
    {
      "form": "証明終わり",
      "ruby": [
        [
          "証",
          "しょう"
        ],
        [
          "明",
          "めい"
        ],
        [
          "終",
          "お"
        ]
      ],
      "tags": [
        "canonical"
      ]
    },
    {
      "form": "shōmei owari",
      "tags": [
        "romanization"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "phrase",
        "2": "しょうめい おわり",
        "head": "証明終わり"
      },
      "expansion": "証(しょう)明(めい)終(お)わり • (shōmei owari)",
      "name": "ja-pos"
    }
  ],
  "lang": "Japanese",
  "lang_code": "ja",
  "pos": "phrase",
  "senses": [
    {
      "categories": [
        "Japanese entries with incorrect language header",
        "Japanese lemmas",
        "Japanese links with redundant wikilinks",
        "Japanese phrases",
        "Japanese terms spelled with fifth grade kanji",
        "Japanese terms spelled with second grade kanji",
        "Japanese terms spelled with third grade kanji",
        "Japanese terms with non-redundant non-automated sortkeys",
        "Japanese terms with redundant sortkeys",
        "Japanese terms written with three Han script characters",
        "ja:Mathematics"
      ],
      "glosses": [
        "quod erat demonstrandum (that which was to be proved)"
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "quod erat demonstrandum",
          "quod erat demonstrandum"
        ]
      ],
      "raw_glosses": [
        "(mathematics) quod erat demonstrandum (that which was to be proved)"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "証明終わり"
}

{
  "called_from": "parser/1336",
  "msg": "no corresponding start tag found for </span>",
  "path": [
    "証明終わり"
  ],
  "section": "Japanese",
  "subsection": "phrase",
  "title": "証明終わり",
  "trace": ""
}