A new proof of a contrast function for bounded component analysis and further analysis. (September 2018)