Gonbidapen formal baten abiapuntu gisa erabiltzen den formula.