public function testLahNumberIdentityKEqualsOne(int $n) { $L⟮n、1⟯ = Combinatorics::lahNumber($n, 1); $n! = Combinatorics::factorial($n); $this->assertEquals($L⟮n、1⟯, $n!); }