[see also: single, only
To every F there corresponds a unique G such that......
This equation has a unique solution for every p.
Then F has a unique lift F'.
Therefore, F has the unique lift F'=p-1F.
Let F be the unique map such that......
Hence M is the unique largest submodule of type (a).