PG で a_2 * a_4 = 144 、 a_3 = 12 。整合性を検証せよ。