is this correct; The HA theorem is a special case of the AAS theorem.
ASSS postulate
BASA postulate
CAAS theorem
DSAS postulate
ASSS postulate
BASA postulate
CAAS theorem
DSAS postulate