SAS Similarity Theorem