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