for A, B being Ordinal holds card (A *^ B) = (card A) *` (card B)