Basic Laws of Cardinal Arithmetic