09525400e3502979f3a7acba947d16b4d5fdc178  FreeLog2k-1Theorem.AcceptedVersion.pdf