9factorial supra 6factorial