Dalil 1 – 4 : Hasil kali dua transformasi adalah suatu transformasi.
Bukti :
Sebut transformasi itu T1 dan T2 . bila T1T2 = T maka akan dibuktikan bahwa T adalah fungsi satu-satu dari ε ke pada ε .
a. Membuktikan T fungsi satu-satu.
Ambil A,B 𝜖 𝜀 dengan A ≠ B Andaikan T(A) = T(B) maka T2(T1(A)) = T2(T1(B)), ini berarti (karena T2 fungsi satu-satu ) bahwa T1(A) = T1(B), ini juga berarti ( karena T1 fungsi satu-satu ) bahwa A = B .hal ini bertentangan dengan pengambilan A ≠ B, jadi pengandaian T(A) = T(B) salah maka haruslah T (A) ≠ T(B). Dengan ini terbukti bahwa f fungsi satu-satu . b. Membuktukan T fungsi dari ε ke pada ε Ambil sembarang A’’ 𝜖 𝜀 . Karena T2 transformasi maka pasti ada A’ 𝜖 𝜀 yang memenuhi T2 (A’ ) = A’’ . Dengan demikian : A’’ = T2 (A’) = T2(T (A)) = (T1T2 ) (A) = T (A), ini berarti setiap titik di ε pasti merupakan hasil T terhadap salah satu titik di ε , jadi T fungsi dari ε kepada ε . Dengan cara yang sama dengan pembuktian diatas dapat pula dibuktikan bahwa T1T2 juga suatu transformasi. Tetapi T1T2 belum tentu sama dengan T1T2 .