Den idiotiske filtersætning (2005)