О длине доказательства повторности в некоторых базисахтезисы доклада