Bug 了
所有跟帖:
                    •                    
                    原來那個證明中還有一個BUG。
                     -wxcfan123- 
                    ♂                    
                        
                    
                                                            
                    
                    
                                        
                        (1317 bytes)
                        ()
                        06/12/2023 postreply
                                                23:03:50
                    
                    
                    •                    
                    這個簡單a5負,或者a5, a5+a6雙不正,或者六數總和不小於20
                     -15少- 
                    ♂                    
                        
                    
                                                            
                        
                    
                                        
                    
                    
                                        
                        (0 bytes)
                        ()
                        06/13/2023 postreply
                                                03:57:32
                    
                    
                    •                    
                    再來。如果五正數中有1,則可以由四個表達19,a6=-1不是必然。
                     -wxcfan123- 
                    ♂                    
                        
                    
                                                            
                    
                    
                                        
                        (0 bytes)
                        ()
                        06/13/2023 postreply
                                                09:35:38
                    
                    
                    •                    
                    當然不是必然,總之是多少都不行。
                     -15少- 
                    ♂                    
                        
                    
                                                            
                        
                    
                                        
                    
                    
                                        
                        (114 bytes)
                        ()
                        06/13/2023 postreply
                                                13:49:22