cardinal multiplication