The last sentence is quite pretentious and completely unprovable. And if Linux had not existed we would have had GNU Hurd way earlier in all likelihood.
The design principles Tanenbaum applied to MINIX greatly influenced the design decisions Linus Torvalds applied in the creation of the Linux kernel.[citation needed] Torvalds used and appreciated MINIX,[17] [...] Early Linux kernel development was done on a MINIX host system, which led to Linux inheriting various features from MINIX, such as the MINIX file system.
Hilarious...
Is that provable? :)