Proving of LAC MACROPI