imports, add factorial
one test, one script
implementation of A200544