Meta Theorem for Hardness on FCP-Problem. - Atsuki Nagao; Mei Sekiguchi (CoRR, 2025)