theorem :: XPRIMES2:7271

canceled;