The proof of alternendo uses the step—

• aadd $1$ to both sides
• bdivide both sides by $cd$ after $ad = bc$
• cdivide both sides by $ab$
• draise both sides to power $2$