FAT-A1-DiscreteMath(27/11/23)