Let be two sequences of positive integers such that for all , divides (but is not equal to) and divides but is not equal to . Let . Define maps for all such that (by the usual mappings). Also, define maps such that the following diagram commutes:

Where the down arrows are the maps I defined above for the and the standard maps for .

Let and . Does there exist a map such that the following diagram commutes: