PG 에서 a_2 * a_4 = 144 , a_3 = 12 . 일관성을 검증하시오