Jump to level $1$

Suppose that the following fact is proven by exhaustion.

Theorem: Every integer in the range from $153$ through $155$ is composite.

Select the lines that would be included in the proof.

$152=(2)(76),$ so $152$ is composite.

$153=(3)(51),$ so $153$ is composite.

$154=(2)(77),$ so $154$ is composite.

$155=(5)(31),$ so $155$ is composite.

$156=(2)(78),$ so $156$ is composite.