theorem :: XPRIMES2:2152

canceled;