Uncomputably large integral points on algebraic plane curves? Sharp polynomial upper estimate of number of positive integral points in tetrahedron and coordinate free characterization of homogeneous polynomials 