When first order paraxial optics is expanded to third order optics (i.e. sin x~ x-x3/3! instead of sin x~x) , these 5 optical aberrations result in. What is the rigorous mathematical proof that, simultaneous correction of the five aberrations would cause violation of laws of reflection and/or refraction? and what are the mathematical prerequisites to understand the topic(say, beyond undergraduate freshman physics and mathematics knowledge)?