Numbers with 7 or more Prime Factors

Theorem
The sequence of positive integers with $7$ or more prime factors (not necessarily distinct) begins:
 * $128, 192, 256, 288, 320, 384, 432, 448, 480, 512, \ldots$