22
From
and
we get
Howard’s Conjecture
