Teorema menyatakan bahwa hasil kali dua translasi adalah translasi tunggal. Bukti meliputi penjelasan bahwa titik invarian hanya terjadi jika dua translasi saling membalik, serta sifat komutatif translasi. Definisi setengah putaran sebagai transformasi yang menukar dua titik, dengan titik invarian berada pada titik tengah jajargenjang. Hasil kali dua setengah putaran dapat diwakili sebagai setengah putaran