Low (p,T,(card (Support p))) = 0_ (n,L) by Th35;
hence Low (p,T,(card (Support p))) is monomial-like ; :: thesis: verum