proof by code, showing the number of ways to arrange objects on a 1 dimentional number line is n!