luca-close1-proof