ファルコンの定理を解いた人だよね?