(aleph 1 factorial ) (aleph 0)