for D being non empty set
for k1, k2 being Nat holds mid ((<*> D),k1,k2) = <*> D