Euclid 5th implies SPP