Corollary to Image under Subset of Relation is Subset of Image under Relation