theorem :: XPRIMES2:7565

canceled;