114a6da test:Added properties tests for &carmichael-lambda.