Complete Example AOS by verifying that the four remaining inner products are zero.