An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D-A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving (International journal of applied research on information technology and computing)