A Fixed Point Framework for the Existence of EFX Allocations