theorem :: XPRIMES2:7195

canceled;