Number neither whose Half is Odd nor Power of Two is both Even-Times Even and Even-Times Odd

Theorem

 * If a number neither be one of those which are continually doubled from a dyad, nor have its half odd, it is both even-times even and even-times odd.