Cavalieri's principle for 2 triangular prisms