О необходимых условиях бесповторности функций над Z3доклад на конференции