theorem LcmLat: :: MOEBIUS2:62

lcmlatplus = lcmlat || NATPLUS