almost 6 years
hmm
deletedalmost 6 years
IF: {2k: k E Z }
else: { [2k +1: k E Z]}