|z_1*z_2| = |z_1|*|z_2| proof (PDF)