Frctionless contact: step by step analysis and mathematical programming technique