lpとは異なり、fdpには恒真式がない。