Positive Integer is Sum of Consecutive Positive Integers iff not Power of 2/Examples