SAS Similarity Theorem Demonstration