partition of partition (1)