L20_A
        Prove by Construction R is uncountable
        Josephus Problem

L20_B
        Invariant

L20_C
        Example ofCountable Sets

L20_D
        Cantor proof: By contradiction