Non-simplicity of isocontact embeddings in all higher dimensions

In this article we show that in any dimension there exist infinitely many pairs of formally contact isotopic isocontact embeddings into the standard contact sphere which are not contact isotopic. This is the first example of rigidity for contact submanifolds in higher dimensions. The contact embeddings are constructed via contact push-offs of higher-dimensional Legendrian submanifolds.