15.3: Triple integral