Description: Another distributive law of converse over class composition. (Contributed by Scott Fenton, 3-May-2014)