pacioli is proving a theorem written by euclides in an open book