이는 펜릴소대로 증명이 가능하다