../../Task/Euclid-Mullin-sequence/F-Sharp