p/ｑが既約分数であるということは，それ以上約分できない分数のことで，これは「pとq が互いに素」ということです．
a/２７，３１/ｂが既約分数であるという条件が使えるように式を変形してみましょう．