Дээд математикийн үлгэрчилсэн бодолт бүхий бодлогууд (1987)