>>812
素であると条件がついてないから(9,12,15)で良いんじゃない?