A continuación, se encuentra la resolución elaborada por Church para este problema.