GA
2
×KID
Also:
ĝalilla
x
(|GA
2
×KID|).
)