□□□≠ecである事を□□□はどうやって証明するの?