見つからないはずではなく、
l≧2は、一切存在が否定されます