The Small Solution Hypothesis for MAPF on Strongly Connected Directed Graphs Is True