Prove that |[0, 3]| = |(2, 5) \cup (6, 7)| . If you construct functions in your solution with certain
properties, you may assert that they have those properties without proof.