α» ErdosNumber edit** « wiki αt10xxxxx