Ingen følger antoniorem endnu