This theorem is fundamental for the existence of infinitesimals as it proves that it is possible to formalise them.
Kjo teoremë është themelore për ekzistencen e infinitezimales ngaqë provon se është e mujtur ta formalizosh atë.