Power of Two is Even-Times Even Only

Theorem

 * Each of the numbers which are continually doubled beginning from a dyad is even-times even only.