IUTそのものは数学として発展中なのではないか