The ASS case of the congruence theorem