theorem :: XPRIMES2:2304

canceled;