`costheta[{:(costheta,sintheta),(-sintheta,costheta):}]+sintheta[{:(sintheta,-costheta),(costheta,sintheta):}]`
`=[{:(cos^(2)theta,sinthetacostheta),(-sinthetacostheta,costheta):}]+[{:(sin^(2)theta,-sinthetacostheta),(sinthetacostheta,” “sin^(2)theta):}]`
`=[{:(cos^(2)theta+sin^(2)theta,sinthetacostheta-sinthetacostheta),(-sinthetacostheta+sinthetacostheta,” “cos^(2)theta+sin^(2)theta):}]`
`[{:(1,0),(0,1):}]`