This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
We study submanifolds of a quaternionic projective space, it is of great interest how to pull down some formulae deduced for submanifolds of a sphere to those for submanifolds of a quaternionic projective space.