Two further empirical implications of Auspitz–Lieben–Edgeworth–Pareto complementarity

I show that the assumptions of strong concavity and Auspitz–Lieben–Edgeworth–Pareto complementarity imply that for any good either all other goods must be gross substitutes or all other goods must be gross complements and that all goods must be compensated substitutes.