theorem :: XPRIMES2:5108

canceled;