Attractors with Non-Invariant Interior and Pinheiro's Theorem A

This is a provisional version of an article, intended to be devoted to properties of attractor's intertior for smooth maps (not diffeomorphisms). We were originally motivated for this research by Pinhero's Theorem A from his recent preprint, and in Section 3 we give a simple and straightforward proof of this result.