一减十二分之五等于多少?