IUTは STAPの数学版だ