Added license headers.
Modified inner to only have one return, and modified the test to use GoCheck and to get the right answer from multiplication.