マントルは石油だった、と