Seri Iwahori ip addresses theorem