QED=クォドエラトデモンストランダム
証明終わり

QEF=クォドエラトファキエンダム
概略

ラテン語