つまり、トリウムとリチウムが化合したのがトリチウムか。