мат. допоміжне твердження (теорема), яке використовують при доведенні однієї або кількох теорем.