congruence of span composition remains