Elementary proof of strong normalization for Atomic F - Ferreira, Fernando (2016)