>>490
証明するにはまず0!を定義せねばならないのだが。