7da5a76ac7fddcec95ffa98c4fa240de  FreeLog2k-1Theorem.AcceptedVersion.pdf