theorem :: XPRIMES2:5110

canceled;