Dalton’s law in scuba diving theory