「132が素数ではない」ことは、明白だ!!!!!!!