( min ((Parity a),(Parity b)) divides a & min ((Parity a),(Parity b)) divides b ) by MPA;
hence (a + b) / (min ((Parity a),(Parity b))) is integer by Th1, WSIERP_1:4; :: thesis: verum