Number whose Half is Odd is Even-Times Odd

Theorem

 * If a number have its half odd, it is even-times odd only.