Under förmodan , att mangenstall